style: Make margin a shorthand
authorBenjamin Otte <otte@redhat.com>
Sun, 22 May 2011 03:55:12 +0000 (05:55 +0200)
committerBenjamin Otte <otte@redhat.com>
Sun, 22 May 2011 03:56:12 +0000 (05:56 +0200)
commit21236cf27099a80e36365aeb576fbf3e523f5450
treeaceeae9f8b18620582a651154a11f8530d39c6da
parenta35aa96149f3a7e6fafe083b3f5d97fb151f57d8
style: Make margin a shorthand

... and add the real properties:
- margin-top
- margin-left
- margin-bottom
- margin-right
gtk/gtkcssprovider.c
gtk/gtkstylecontext.c
gtk/gtkstyleproperty.c